Le logica impecabile del irrational

Logica utens

Peirce introduced an ingenious classification of signs and a theory of reasoning. Though he maintained that reasoning presupposes signs, to our best knowledge, he did not define a link between his two theories. In this paper we make a first attempt to reveal the possibility for such a relation, in the framework of a cognitively based model of

Evaluating Backjumping for Disjunctive Logic Programming Valutazione del Backjumping per Programmazione Logica Disgiuntiva

SOMMARIO/ABSTRACT In questo articolo presentiamo la tecnica del backjump-ing per la Programmazione Logica Disgiuntiva, prendendo spunto dai lavori svolti per solutori per Constraint e log-ica proposizionale. A differenza dei lavori citati, ci fo-calizzaremo su backjumping senza (clause) learning. Pre-senteremo un fondamento teorico per questa tecnica sfrut-tando le peculiarità della logica su c...

Project - pre - Team LogicA Logics and Applications

Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva

Sommario La programmazione logica disgiuntiva (PLD) costituisce un potente strumento per la rappresentazione della conoscenza e del ragionamento di senso comune. Un’importante applicazione della PLD è l’answer set planning. Nell’answer set planning un problema di pianificazione P è codificato in un programma PL in PLD, tale che ogni answer set di PL corrisponda ad una soluzione del problema di ...

Irrational healers?

But there must be some further rules shaping the dynamics of prescribing than these heuristics, or alternately some of those listed must be capable of more than 1 application. Consider the dynamics of prescribing within the pediatric mental health field. Over the course of 25 years, the prescribing of stimulants to children has grown exponentially – primarily in North America. In this case, cli...